home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 19 / CU Amiga Magazine's Super CD-ROM 19 (1998)(EMAP Images)(GB)[!][issue 1998-02].iso / CUCD / Programming / LEDA / man / AWK < prev    next >
Encoding:
Text File  |  1994-08-05  |  4.4 KB  |  222 lines
  1. #
  2.  
  3.  
  4. function underline(s)
  5. { gsub(/./,"_&",s); 
  6.   return s;
  7. }
  8.  
  9.  
  10.  
  11. function header(s)
  12. { print "\n";
  13.   print underline(sprintf("%d. %s", ++count,s)) "\n";
  14. }
  15.  
  16.  
  17. function sub_tex()
  18. { gsub(/\\{/,"kl_auf");
  19.   gsub(/\\}/,"kl_zu");
  20.   gsub(/{/,"");
  21.   gsub(/}/,"");
  22.   gsub("kl_auf", "{");
  23.   gsub("kl_zu", "}");
  24.   gsub(/\$/,"");
  25.   gsub(/\\precond/,"Precondition:");
  26.   gsub(/\\longrightarrow/, "---->");
  27.   gsub(/\\phantom/, "");
  28.   gsub(/\\times/, " x");
  29.   gsub(/\\dots/, "...");
  30.   gsub(/\\cdot/, " *");
  31.   gsub(/\\tilde/,"~");
  32.   gsub(/\\le/,   " <=");
  33.   gsub(/\\ge/,   " >=");
  34.   gsub(/\\neq/,  " !=");
  35.   gsub(/\\ne/,   " !=");
  36.   gsub(/\\bf /, "");
  37.   gsub(/\\nl/, "");
  38.   gsub(/\\/, "");
  39.   gsub(/backslash /, "\\");
  40. }
  41.  
  42.  
  43. BEGIN { operation =  ARGV[2]; 
  44.         type = ARGV[1];
  45.         gsub(/\/.*\//, "",type);
  46.         gsub(/\.tex/, "",type);
  47.         ARGV[2] = ""; 
  48.         gsub(/_/, "\\_", operation); print " "; 
  49.         op_header = 0;
  50.        }
  51.  
  52.  
  53. /\{\\magonebf/ { 
  54. if (operation == "")
  55.  { gsub(/\{\\magonebf /, "");
  56.    gsub(/\}/, "");
  57.    gsub(/\\/, "");
  58.    print underline($0);
  59.    print " ";
  60.   }
  61. }
  62.  
  63. /Definition/ { 
  64. if (operation == "" || "definition" == operation)
  65.  { if (operation == "") header("DEFINITION");
  66.     getline;
  67.     while ($1 == "") getline;
  68.     while ($1 !~ "skip" && $1 != "")
  69.       { gsub(/\\name/,type);
  70.         sub_tex();
  71.         print;
  72.         getline; 
  73.        }
  74.     print " ";
  75.   }
  76. }
  77.  
  78. /\\decl/ { 
  79.  
  80.   gsub(/\\/, "");
  81.   if ($1 == "decl")
  82.       type = $2"<"$3">";
  83.   else
  84.      if ($1 == "decltwo")
  85.        type = $2"<"$3","$4">";
  86.      else
  87.         if ($1 == "declthree")
  88.           type = $2"<"$3","$4","$5">";
  89.  
  90. }
  91.  
  92.  
  93. /\\create/ { 
  94.   out = 0;
  95.   if (operation == "" || "creation" == operation) 
  96.   { out = 1
  97.     if (operation == "") header("CREATION");
  98.    }
  99.  
  100.   while ($0 ~ "\\\\create") 
  101.   { i = 1;
  102.     while ($i != "\\create") i++;
  103.     i++;
  104.     var = $i; 
  105.     gsub(/\\create/, type);
  106.     gsub(/\{\}/, "");
  107.     gsub(/\\/, "");
  108.     if (out==1) printf("%s;\n\n",$0);
  109.     getline;
  110.     while ($1 == "") getline;
  111.   }
  112.  
  113.  
  114.   if (out==1) 
  115.   { while ($1 !~ "skip") # && $1 != ""
  116.     { gsub(/{/,"");
  117.       gsub(/}/,"");
  118.       gsub(/\\tt /, "");
  119.       gsub(/\$/,"");
  120.       gsub(/\\name/,type);
  121.       gsub(/\\var/,var);
  122.       gsub(/\\precond/, "Precondition:");
  123.       gsub(/\\/,"");
  124.       print;
  125.       getline; 
  126.      }
  127.    print " ";
  128.   }
  129. }
  130.  
  131.  
  132. #operations & operators: line starts with \+\op
  133.  
  134. /\\\+\\op/ {
  135. if ($3 == operation || operation == "" || "operations" == operation)
  136. { 
  137.   if (op_header==0) { if (operation == "") header("OPERATIONS"); 
  138.                       op_header=1; 
  139.                      }
  140.   gsub(/}/,"");
  141.   gsub(/{/,"");
  142.  
  143.   sub_tex();
  144.  
  145.   if ($1 == "+op") #operation
  146.    { printf("%-9s %s.%s (",$2,var,$3);
  147.      for (i=4;i<=NF;i++) printf("%s ",$i);
  148.      printf(")");
  149.     }
  150.   else
  151.      if ($1 == "+opb") #binary operator
  152.       { printf("%-9s %s ",$2,var);
  153.         for (i=3;i<=NF;i++) printf("%s ",$i);
  154.        }
  155.      else  
  156.         if ($1 == "+ops") #stream operator
  157.          { printf("%-9s %s %s %s",$2,$4,$3,var);
  158.            for (i=5;i<=NF;i++) printf("%s ",$i);
  159.           }
  160.         else
  161.            if ($1 == "+opf") #function call operator  
  162.            { printf("%-9s %s (",$2,var);
  163.              for (i=3;i<NF;i++) printf("%s ",$i);
  164.              printf("%s)",$i);
  165.             }
  166.            else
  167.              if ($1 == "+opu") #unary operator
  168.                printf("%-9s %s%s",$2,$3,var);
  169.              else
  170.              if ($1 == "+opa") #array access operator
  171.                printf("%-9s %s [%s %s]",$2,var,$3,$4);
  172.  
  173.   print " ";
  174.   getline;
  175.   if ("operations" != operation)
  176.   { print " ";
  177.     while ($1 !~ "skip" && $1 != "")
  178.     { start = 1;
  179.       if ($1 == "\\+\\nop") start = 2;
  180.       printf("                      ");
  181.       gsub(/\\var/, var);
  182.       sub_tex();
  183.       for (i=start;i<=NF;i++) printf("%s ",$i);
  184.       print " ";
  185.       getline; 
  186.      }
  187.    print " ";
  188.   }
  189. }
  190. }
  191.  
  192. /Iteration/ { 
  193. if (operation == "" || "iteration" == operation) 
  194. { if (operation == "") header("ITERATION");
  195.   getline;
  196.   while ($1  ~ "skip" || $1 == "") getline;
  197.   while ($1 !~ "skip")
  198.     { sub_tex();
  199.       print;
  200.       getline; 
  201.       while ($1 ~ "phantom" || $1 == "") getline;
  202.      }
  203.   print " ";
  204. }
  205. }
  206.  
  207. /Implementation/ { 
  208. if (operation == "" || "implementation" == operation) 
  209. { if (operation == "") header("IMPLEMENTATION");
  210.   getline;
  211.   while ($1  ~ "skip" || $1 == "") getline;
  212.   while ($1 !~ "skip" && $1 != "")
  213.     { gsub(/{/,"");
  214.       gsub(/}/,"");
  215.       sub_tex();
  216.       print;
  217.       getline; 
  218.      }
  219.   print " ";
  220. }
  221. }
  222.